Новая философская энциклопедия - конструктивный объект
Связанные словари
Конструктивный объект
Рассмотрение конструктивных объектов и вовлечение их в процесс научного исследования может быть осуществлено с привлечением абстракций различных уровней. Наиболее естественным представляется рассмотрение их на базе одной лишь абстракции потенциальной осуществимости, учитывающее характер возникновения конструктивных объектов. При этом в качестве логической базы естественно взять т. н. конструктивную логику, специально учитывающую специфику понимания суждений о существовании конструктивных объектов как суждений о их потенциальной осуществимости. При рассмотрении конструктивных объектов, ведущемся на базе абстракции актуальной бесконечности, они трактуются совместно и равноправно с объектами теоретико-множественного характера, а основой логической дедукции является при этом т. н. классическая (аристотелевская) логика. Этим в значительной степени игнорируется генезис конструктивных объектов. Исследование их роли в процессе познания и выяснение их соотношения с объектами иных уровней абстракции представляет собой важную философскую и методологическую проблему, находящуюся в стадии интенсивной разработки.
Лит.: Гильберт Д., Берчаис П. Основания математики. Логические исчисления и формализация арифметики. М., 1979; Гейтинг А. Интуиционизм. Введение. М., 1965; МарковА.А. О логике конструктивной математики. М-, 1972; МарковА.А., Нагорный Н. М. Теория алгорифмов. М., 1984 (2-е изд. М„ Фазис, 1996); Марков А. А. О конструктивной математике. — Труды Математического института им. В. А. Стеклова АН СССР, т. 67. М.-Л., 1967; Шанин И. А. Конструктивные вещественные числа и конструктивные функциональные пространства. — Там же.
Н. М. Нагорный
Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 2285 | |
2 | 1813 | |
3 | 1766 | |
4 | 1758 | |
5 | 1672 | |
6 | 1610 | |
7 | 1523 | |
8 | 1491 | |
9 | 1490 | |
10 | 1470 | |
11 | 1444 | |
12 | 1442 | |
13 | 1420 | |
14 | 1416 | |
15 | 1317 | |
16 | 1289 | |
17 | 1276 | |
18 | 1270 | |
19 | 1262 | |
20 | 1244 |